Cactus Language • Pragmatics 7
inquiryintoinquiry.com·21h
💬Philosophy of Language
Show HN: Formalizing Strong Goldbach for AI Reasoning in HOL(Standard Semantics)
medium.com·2d·
Discuss: Hacker News
💬Philosophy of Language
Mastering NLP with spaCy – Part 2
towardsdatascience.com·13h
📝NLP
Trustworthy Reasoning: Evaluating and Enhancing Factual Accuracy in LLM Intermediate Thought Processes
arxiv.org·1d
🎲Bayesian Cognition
Constraint Catalog
sofdem.github.io·1d
📝NLP
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·2d·
Discuss: Hacker News
💬Philosophy of Language
Tired of Pydantic? Try These 5 Game-Changing Python Libraries
dev.to·1d·
Discuss: DEV
📝NLP
Hask Is Not a Category
math.andrej.com·2d·
Discuss: Hacker News
💬Philosophy of Language
How to Write Inductive Invariants
quint-lang.org·18h·
Discuss: Lobsters, Hacker News, r/programming
💬Philosophy of Language
Footnotes, Gödel exercises, Purcell
logicmatters.net·1d
💬Philosophy of Language
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
arxiv.org·3d
💬Philosophy of Language
Research Areas in Interpretability (The Alignment Project by UK AISI)
lesswrong.com·22h
🔄Transformers
The Comprehensive Guide to Knowledge Graphs
agilelab.it·1d·
Discuss: Hacker News
📝NLP
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·1d·
Discuss: Hacker News
🔄Transformers
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·1d·
Discuss: Hacker News
📝NLP
The Pragmatic Mind of Machines: Tracing the Emergence of Pragmatic Competence in Large Language Models
arxiv.org·1d
🔄Transformers
Introduction to Supervised Machine Learning for Beginners
github.com·40m·
Discuss: DEV
🎲Bayesian Cognition
Formal Inertia
daedeluskite.com·2d·
Discuss: Hacker News
💬Philosophy of Language
Knowledge Graph Lite
jessicatalisman.substack.com·4d·
Discuss: Substack
📝NLP
Uncovering the Fragility of Trustworthy LLMs through Chinese Textual Ambiguity
arxiv.org·1d
💬Philosophy of Language